201. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده : Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
202. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده : Dexter Kozen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
203. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
204. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده : Dexter Kozen, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
205. Modern Mathematical Methods and High Performance Computing in Science and Technology
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Congresses,Computer science -- Mathematics -- Congresses,High performance computing -- Congresses,ریاضیات -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,داده‌پردازی با بازدهی عالی -- کنگره‌ها
رده :
E-Book
,
206. Multiscale and Adaptivity
پدیدآورنده : / Silvia Bertoluzza...[et al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Multiscale modeling - Congresses,Mathematics,Computer science,ریاضی,علوم کامپیوتر
رده :
QA377
.
B4
2011
207. Multiset processing : mathematical, computer science, and molecular computing points of view
پدیدآورنده : Cristian S. Calude...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
L28
Vol
.
2235
208. Multiset processing: mathematical, computer science, and molecular computing points of view
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
5
.
M85
2001
209. New directions in logic, language and computation
پدیدآورنده : Daniel Lassiter, Marija Slavkovik (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
E97
2010eb
210. Number theoretic and algebraic methods in computer science: proceedings of the international conference, Moscow, June/July 1993
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Number theory,Congresses ، Algebra,Congresses ، Computer science-- Mathematics
رده :
QA
241
.
N84
1995
211. Number-theoretic methods in cryptology :
پدیدآورنده : Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cryptography, Congresses.,Monte Carlo method, Congresses.,Algorithms.,Coding theory & cryptology.,Computer science-- Mathematics.,Computer science.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers.,Data encryption (Computer science),Discrete mathematics.,Information technology: general issues.,Mathematics-- Number Theory.,Number theory.,Number theory.,Numerical analysis.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
N88
2017
212. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
213. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
214. Proceedings of the fifth International Conference on Mathematics and Computing :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
215. Proceedings of the sixth International Conference on Mathematics and Computing :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
216. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
217. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
218. Randomization and approximation techniques in computer science: International Workshop RANDOM'97 Bologna, Italy, July 11-12, 1997: proceedings
پدیدآورنده : Jose Rolim, ]ed.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Statistical methods - Congresses ، Computer science,Mathematics - Congresses ، Computer science
رده :
QA
76
.
9
.
M35
R36
1997
219. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
220. Reachability problems
پدیدآورنده : Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R6
2012eb
